Local search - PDFSEARCH.IO - Document Search Engine

Local search
Results: 811

#	Item
331	Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT ? Alberto Griggio1 , Quoc-Sang Phan2 , Roberto Sebastiani2 and Silvia Tomasi2 Add to Reading List Source URL: disi.unitn.it Language: English - Date: 2011-10-12 05:34:03 Mathematics Logic in computer science NP-complete problems Electronic design automation Formal methods Satisfiability Modulo Theories WalkSAT Resolution Local search Theoretical computer science Constraint programming Applied mathematics
332	CENTURYLINK LOCAL SERVICE PROVIDERS BY NPA-NXX The following pages list CenturyLink’s local NPA-NXXs in ascending order. Use your PDF viewer search functionality to locate your NPA-NXX (search without the hyphen). Plea Add to Reading List Source URL: www.centurylink.com Language: English - Date: 2015-03-12 16:24:14 Economy of the United States Science and technology in the United States Embarq Minnesota Embarq CenturyTel of the Gem State Central Telephone CenturyTel of Ohio CenturyLink Sprint Nextel Communications in the United States
333	The Power of Local Search: Maximum Coverage over a Matroid Yuval Filmus1,2 and Justin Ward1 1 2 Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2011-12-02 06:14:39 NP-complete problems Matroid theory Operations research Submodular set function Matroid Greedy algorithm Set cover problem Linear programming Algorithm Mathematics Theoretical computer science Applied mathematics
334	Monotone Submodular Maximization over a Matroid via Non-Oblivious Local Search Yuval Filmus and Justin Ward November 25, 2012 Abstract We present an optimal, combinatorial 1 − 1/e approximation algorithm for monotone s Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2012-11-25 12:04:59 Submodular set function Order theory Matroid Linear programming Greedy algorithm XTR Monotonic function Greedoid Ordinal optimization Mathematics Mathematical analysis Matroid theory
335	PACKAGE COMPARISON CHART BEST PRACTICES GUIDE Universal Business Listing \| 6701 Carmel Road, Suite 202 \| Charlotte, NC 28226 \| \| Best Practices Add to Reading List Source URL: www.ubl.org Language: English - Date: 2015-03-11 09:07:30 Local search HCard Email Spam Universal Business Language Internet Computing Marketing
336	Swish-e on Windows Background In the last 15 years we have used various search engines. Occasionally we had to switch because of technical improvements in the world (e.g. 16-bit to 32-bit, hard disk vs. CD-ROM, local vs. Add to Reading List Source URL: www.knoman.com Language: English - Date: 2008-05-20 09:15:36 System software Swish Environment variable Proximity search Software SWISH-E Information retrieval Computing
337	VertaSource, LLC is a full-service multi-media company that produces dynamic web solutions that meet your business needs. VertaSource began operations as a local Internet portal operating out of Buffalo, NY inToda Add to Reading List Source URL: www.vertasource.com Language: English - Date: 2009-12-29 15:55:08 Web portal Internet marketing Web analytics Search engine optimization
338	Turkey Yellow Pages integrates .tel domains into mobile-ready offerings LONDON, United Kingdom - 14th April, Telnic Limited (http://telnic.tel), the registry operator for the .tel top level domain (TLD) today anno Add to Reading List Source URL: telnic.org Language: English - Date: 2014-10-24 10:12:53 .mobi Mobile Web Local search Yellow Pages Telephone numbers Internet search engines .tel
339	BLAST Searches at the Cloud Basic Local Alignment Search Tool (BLAST) is a popular sequence similarity search tool. The National Add to Reading List Source URL: blast.ncbi.nlm.nih.gov Language: English - Date: 2014-08-26 13:58:06 National Institutes of Health Biological databases Web services BLAST Amazon Web Services PubMed UniProt Amazon.com Bioinformatics Science Computing
340	Objective functions, stochastic algorithms and convergence rates M. Locatelli and G. R. Wood 1 Add to Reading List Source URL: stat.mq.edu.au Language: English - Date: 2009-07-18 23:01:12 Mathematical analysis Operations research Simulated annealing Maxima and minima Local search Quantum annealing Mathematical optimization Numerical analysis Mathematics

UPDATE